$\vdash$  $\forall$$i$, $j$:$\mathbb{Z}$. ($\neg_{b}$$i$ $\leq$z $j$) = $j$ $<$z $i$